how to prove a formula